package util;

import java.util.ArrayList;

public class DomainStack {
	public ArrayList<Domain> domains;
	int size;
	
	public DomainStack() {
		domains = new ArrayList<Domain>();
		size = 0;
	}
	
	public void push(Domain domain) {
		Domain d = new Domain();
		for(int i = 0; i < domain.variables.size(); i++)
			d.insert(domain.variables.get(i));
		domains.add(d);
		size++;
	}
	
	public void pop() {
		domains.remove(domains.size()-1);
		size--;
	}
	
	public Domain top() {
		return domains.get(size-1);
	}
}

